Complexity classes - PDFSEARCH.IO - Document Search Engine

Complexity classes
Results: 1120

#	Item
291	A Parameterized Complexity Analysis of Combinatorial Feature Selection Problems? Vincent Froese, Ren´e van Bevern, Rolf Niedermeier, and Manuel Sorge Institut f¨ ur Softwaretechnik und Theoretische Informatik, TU Berli Add to Reading List Source URL: fpt.akt.tu-berlin.de Language: English - Date: 2013-06-19 10:42:56 Complexity classes Mathematical optimization Structural complexity theory NP-complete problems Parameterized complexity NP-complete P versus NP problem NP FO Theoretical computer science Computational complexity theory Applied mathematics
292	A multiprover interactive proof system for the local Hamiltonian problem Joseph Fitzsimons∗ Thomas Vidick† Abstract Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-11-28 23:31:17 Quantum information science Complexity classes Interactive proof system QMA NEXPTIME IP Probabilistically checkable proof Qubit Quantum computer Theoretical computer science Applied mathematics Computational complexity theory
293	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
294	W h e r e t h e Really H a r d P r o b l e m s A r e Peter Cheeseman Bob Kanefsky W i l l i a m M . Taylor Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2009-10-23 06:18:38 Complexity classes NP-complete problems Mathematical optimization Graph theory Graph coloring NP-complete Connectivity 2-satisfiability NP Theoretical computer science Computational complexity theory Mathematics
295	C HICAGO J OURNAL OF T HEORETICAL C OMPUTER S CIENCE 2013, Article 09, pages 1–6 http://cjtcs.cs.uchicago.edu/ Complexity of the homomorphism extension problem in the random case Alexandr Kazda∗ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-07-24 06:23:43 Applied mathematics Mathematical optimization Graph theory Structure Homomorphism NP-complete Graph homomorphism FO Finitary relation Mathematics Complexity classes Morphisms
296	DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2007-02-09 21:44:57 Computability theory Models of computation Theory of computation Complexity classes John Hopcroft Alfred Aho Halting problem Turing machine Algorithm Theoretical computer science Applied mathematics Computer science
297	Composition of Zero-Knowledge Proofs with Efficient Provers∗ Eleanor Birrell† Salil Vadhan‡ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-07 14:26:58 Cryptographic protocols Complexity classes Interactive proof system Zero-knowledge proof Proof of knowledge Quantum complexity theory IP NP Soundness Theoretical computer science Computational complexity theory Cryptography
298	Eindhoven Honours Class Foundations of Informatics Algorithmic Adventures Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-12-13 10:02:09 Complexity classes Molecular biology DNA Classes of computers Leonard Adleman DNA computing Natural computing Turing machine Hamiltonian path problem Theoretical computer science Applied mathematics Mathematics
299	BD-NPC-4.0-INTSPEC-001 Specifications for SOAP Service The Number Portability Administration System Issue 3, July, 2008 Change History Add to Reading List Source URL: www.numeris.lt Language: English - Date: 2008-07-16 13:57:46 Complexity classes IP NP Local number portability Web Services Description Language Regular expression Web service Theoretical computer science Applied mathematics Computing
300	Thoughts about levels of complexity and specialization in Add to Reading List Source URL: nssdc.gsfc.nasa.gov Language: English - Date: 2000-10-17 11:38:27 Hierarchical Data Format EXPRESS NetCDF File format C++ classes Data exchange String ISO/IEC 11404 XML Computing Data types Computer file formats

UPDATE